Normal numbers and ergodic theory