Công nghệ và xu hướng sử dụng máy đào hầm khi thi công công trình ngầm tại Việt Nam - Trần, Tuấn Minh (2023)