This work was supported by National Key R&D Program of China (Grant No. 2018YFB1003900), National Natural Science Foundation of China (Grant Nos. 61602267, 61402229), Open Fund of the State Key Laboratory for Novel Software Technology (Grant No. KFKT2018B19), and Fundamental Research Funds for the Central Universities (Grant No. NS2019058).