Greenwich time and the discovery of the longitude