mass renormalization, effective mass, quantum electrodynamics, Pauli-Fierz model