WGS 84 positions: great-circle distance, boxes and an index