Evolutionary Multi-Objective Resource Allocation and Scheduling in the Chinese Navigation Satellite System ProjectJian Xiong