Probability: the classical definition