The order topology on the projection lattice of a Hilbert space