Stability of matter, quantum electrodynamics