What Is Oil Quenching? Basics of Oil Quenching and Quenching Oil Types