economy manufacturing and mining in kenya between 1963 and 2018