如题，如何查找工业分行业（主要指采矿业）历史年份行业增加值？我想搜采矿业1980-2018年这些年份的行业增加值，从哪些渠道可以获得这些数据？谢谢