Energy spectrum of secondary protons above the atmosphere measured by the instruments NINA and NINA-2