Logic based Benders' decomposition for orthogonal stock cutting problems. (February 2017)