Nonperturbative quantum electrodynamics: The Lamb shift