Text this: Logic-based Benders decomposition combined with column generation for mobile 3D printer scheduling problem