Most of auctioned coking coal mines to start production by 2025