Measure and integration: A first course