A History of the Mathematical Theory of Probability