Introduction to mathematical probability