US9136177B2 - Methods of Forming Transistor Devices with High-K Insulation Layers and the Resulting Devices