Monitoring gas during a dive