A Mechanical Model to Estimate the Disc Cutter Wear of Tunnel Boring Machines