Absolutely fascinating! After watching all that CGI, I wanted to see an actual machine in action and came across this video:

https://www.youtube.com/watch?v=qlrZ3G0tAzY

it's by the company that makes these massive boring machines.