Rotational Kinetic Energy Formula