Carbon dioxide monitoring satellite’s instrument passes vacuum test