isang uri ng langis na ginagamit sa makina​