20130812 city.goa: Agriculture department to boost farming in mining areas