Boriding of steels in gaseous media