Industrial gas mixers