Which planet in our solar system would be in the Habitable Zone, if the Sun’s surface temperature was 4000 K?