Quantum field theory in curved spacetime