What planet is by far the most massive of all the planets that revolve around the sun?