Measure-theoretic probability theory