Text this: Ten-year development and practice of coal mine intelligentization technology in China