A Closer Look at the Design of Cutterheads for Hard Rock Tunnel-Boring Machines. (December 2017)