The history of carbon dating