An algorithm for computing the distance between two circular disks