How much heavier was Explorer 1 compared to Sputnik?