原文:尾矿、工业副产石膏、粉煤灰、煤矸石等工业资源如何综合利用?