REM tunnel-boring machine