The first satellite, BeiDou-1A, was launched on October 31, 2000. When was the first satellite for the BeiDou-1 system launched