https://thehabitofwoodworking.com/2023/how-big-are-tunnel-boring-machines/