what is a thermal oil heater