Detecting co2 leaks