中国石油史上最著名的全国劳动模范是（）。