The Hausdorff distance between compact convex sets