Brief history of carbon dating