granite mining in sri lanka