cutting iron by ethyne gas encyciopedia