掘削具合がひと目で分かる、トンネル工事にプロジェクションマッピング（関連情報）：情報化施工