20170721 city.goa: Govt to auction mining leases expiring in 2020