采矿工人实物劳动生产率