Measurements of bomb radiocarbon in the ocean by means of accelerator mass spectrometry: Technical aspects