Production of transgenic mice