The order topology for a von Neumann algebra