building and repairing of ships, tankers and other ocean-going vessels (including conversion of ships into off-shore structures) companies in Singapore