General Covariance in Algebraic Quantum Field Theory