Relating to the previous question about plate tectonics: Does Earth have a disproportionate amount of heavy elements compared to the other inner planets?