what is industrial piping