Overview of China’s 2020 Mars mission design and navigation