Predicting the Performance of Tunnel Boring Machines using Big Operational Data | IEEE Conference Publication | IEEE Xplore