What is an industrial gas system? Operating principles and installation considerations