Li Ping — Chinese geologist and earthquake engineer (1924-2019)