Coulomb-nuclear interference: Theory and practice for pp -scattering at 13 TeV