Tomographic Imaging of Rock Conditions Ahead of Mining Using the Shearer as a Seismic Source—A Feasibility Study | IEEE Journals & Magazine | IEEE Xplore