Quantum electrodynamics and renormalization theory in the infinite momentum frame