rock processing industry in kenya