Noble gases in the terrestrial planets