radius of mars divided by radius of moon