Which isotope of carbon is commonly used in radiocarbon dating?