Radiocarbon dating of volcanic rocks