How would the speed of Earth's orbit around the sun change if Earth's mass increased by 4 times?