Gases produced in the use of carbon tetrachloride and foamite fire extinguishers in mines