One- and two-proton inclusive spectra in 800 MeV proton-nucleus collisions and the mean free path of protons in nuclei