Na-D line emission from rock specimens by proton bombardment: Implications for emissions from Jupiter's satellite Io