Nitric Oxide Abundance in the Martian Thermosphere and Its Diurnal Variation