the process of crushing rock ballast kenya