Isotopes used in radiocarbon dating