Quantum electrodynamics: theory