The most used type of gas used for cutting is ___.