History of quantum electrodynamics