Unexpected performance and cost factors for hard rock TBM. Analyses of specific cases with the thrust- penetration gradient