Identification of the most suitable rock types for manufacture of quarry dust in Sri Lanka