Carbon isotopes in ice cores