长期在高温环境中工作的炼钢工人,他们所得到的高温津贴属于