the history of the granite industry in sri lanka grinding