Permo-triassic and dinantian rocks of the Belfast harbour borehole