The Big Dipper navigation system simulation and analysis based on STK