The distribution of asteroid diameters