Modelling and Validation of Typical PV Mini-Grids in Kenya: Experience from RESILIENT Project