Proxies and measurement techniques for mineral dust in Antarctic ice cores