rotational kinetic energy of Io