Formula for carbon dating half life