Lead Detection in Polar Oceans—A Comparison of Different Classification Methods for Cryosat-2 SAR Data | Synapse