Measure theory and integration