diameter of a set in a metric space