formal definition of probability