Since FY15, govt collected ₹4,973 cr revenue from auctioned coal mines