Impact of mining on tree diversity of the silica mining forest area at Shankargarh, Allahabad, India