K-Theory in Quantum Field Theory