An exact method for scheduling a yard crane