Are Foreign Firms More Productive and Export- and Technology-intensive than Local Firms in Kenyan Manufacturing?