Fast computation of empirically tight bounds for the diameter of massive graphs