Towards a comprehensive view of dust events from multiple satellite and ground measurements: exemplified by the May 2017 East Asian dust storm