Gupta-Bleuler formalism, physical subspace, non-relativistic QED