Dolphin Drilling to set up international HQ in Aberdeen following restructuring