Logic based Benders' decomposition for orthogonal stock cutting problems