Investigation on using mining subsidence area to build a reservoir in Huainan Coal Mining Area