BUT WHAT IS whale oil, REALLY?