The math behind radioactive carbon dating