Energy and Non-Energy Input Substitution in Kenya’s Manufacturing Sector.