Carbon isotope used in radioactive dating