Use of carbon 14 in carbon dating