Theory of deeply virtual Compton scattering on the nucleon