Kenya manufacturing sector to contribute 20% of GDP