Uses of radioisotopes in radiocarbon dating