How do these work? Do they mill, and then switch the head to an extruder and 3D print? I'm sorry, I've never seen a machine like this before.