Faster proximity searching with the distal SAT. (July 2016)