About the use of mineral and vegetable oils to improve the sustainability of steel quenching