high tensile steel used for ship building