When was the last satellite for the BeiDou-1 system launched?