Mathematical programming models for optimal log bucking