NASA successfully launches carbon-sensing satellite