JPL launches the OCO-2 satellite