Algebraic Quantum Field Theory on Spacetimes with Timelike Boundary