原料气压缩机润滑油站的油泵属于（）泵。