Oxidation of concentrated hydrochloric acid with manganese (IV) oxide liberates a gas used in the?