The topology of four-dimensional manifolds