1st greenhouse-gas-monitoring satellite launched