Gas welders, torches