Past Antarctic summer temperature revealed by total air content in ice cores