The frequency distribution of volcanic crater diameters