Industrial gas hoses: Standards, types, and how to choose