Introduction to measure and probability