Using artificial intelligence to automate sea-ice charting