Integrated production planning for the multiple-machine sheet metal shop with laser cutting and air bending | IEEE Conference Publication | IEEE Xplore