What is another name for "denatured alcohol", i.e. ethanol with additives (such as methanol, isopropyl alcohol, acetone, methyl ethyl ketone, methyl isobutyl ketone and denatonium), used as a solvent and as fuel for spirit burners and camping stoves?