Simulation of rock fragmentation induced by a tunnel boring machine disk cutter. (May 2016)