Deep inelastic scattering with leading protons or large rapidity gaps at HERA