Radiocarbon dating of Irish Sea sediments