How does a CO2 laser cutter work?