Hardness and elastic modulus of ion-nitrided titanium obtained by nanoindentation