The Riemannian Penrose inequality