Production of semiconductor device