how much does a herrenknecht tunnel boring machine cost