Thickness distribution of Antarctic sea ice