Coal-Rock Interface Sensing Technology Applied for Horizon Control of Mining Shearers | IEEE Conference Publication | IEEE Xplore