20150116 city.goa: Goa revokes ban on mining