Digital construction of coal mine big data for different platforms based on life cycle | IEEE Conference Publication | IEEE Xplore