Carbon dioxide lasers