Singapore, een centrum van scheepsreparatie