Ineos shuts Forties crude oil pipeline following leak