20220224 city.jaipur: Mining leases expiring in 2025 to get 15 yrs' extension