mineral oil for hotpot restaurants