Use of half life in carbon dating