Radio-echo sounding by the British Antarctic Survey, 1972