Finite Quantum Electrodynamics