How many BDS-3 satellites have been launched