Lecture 31: Gas turbine cycle