Kinetic energy due to rotation is defined as