Implications of isotope data for the origin of the moon