Proton probe analysis of an irghizite and a high-magnesium Java tektite