Radioisotopes as tracers in carbon dating