introduction to mining in goa