Semiconductor device and method for producing the same