Discretized light-cone quantization: Formalism for quantum electrodynamics.