What type of fire extinguisher should be used on an electrical fire involving mining machinery?