exploration of coal mining sri lanka