Length of a degree of longitude