An Optimal Decision-Tree Design Strategy and Its Application to Sea Ice Classification from SAR Imagery