Pushing the limits of computational chemistry: the phase diagram of water