Musk begins project to boost tunnel-boring speeds