Query: As of December 2012, how many satellites had been launched for the BeiDou-2 system?
Context: The global navigation system should be finished by 2020. As of December 2012, 16 satellites for BeiDou-2 have been launched, 14 of them are in service.