“工业学大庆”是（）领导人提出的。