Mathematical Formulation of the Quantum Theory of Electromagnetic Interaction