High-frequency Characterization and Modeling of CMOS Transistors at Cryogenic Temperature