1. Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China
2. School of Mathematics, South China University of Technology, Guangzhou 510640, China
3. Key Lab of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
4. School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China
5. Departamento de Física, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, Edifício C8, Lisboa 1749-016, Portugal
6. Centro de Física Teórica e Computacional, Universidade de Lisboa, Campo Grande, Edifício C8, Lisboa 1749-016, Portugal