As of December 2012, how many satellites had been launched for the BeiDou-2 system?