Premonoidal *-Categories and Algebraic Quantum Field Theory