Repsol Sinopec shuts down North Sea platforms due to pipeline repairs