The market for productive uses of solar energy in Kenya: a status report