The rotation of the planet Mercury