Given the latitudes and longitudes of two places on earth, what is the (great circle) distance between them?