Quantum field theory on curved spacetimes: Axiomatic framework and examples