Which of the two scientific explanations for how craters are eliminated from Europa's surface is most accurate?