The distance between points (0,10) and (12,5)