Earth science: Palaeo-altimetry of Tibet