田刚教授当选新一届国际数学联盟执委会委员