An introduction to mathematical probability