A stochastic model of the formation and survival of lunar craters I. Distribution of diameter of clean craters