When was the first satellite for the BeiDou-2 system launched