Ionic liquids as oil additives for lubricating oxygen-diffusion case-hardened titanium Journal March, 2019