Energy dispersive spectrometry and first principles studies on the oxidation of pentlandite.