Hamiltonian time evolution for general relativity