An introduction to measure and probability