Is there a reason that that the archaic term 'Musulman' was used as opposed to the more standard term 'Muslim'?