グローバル同心シャフトトンネルボーリングマシン市場のAIと自動化の影響