铁人王进喜是（）年成为新中国第一代石油工人的。