Rural Electrification Mini-Grids: Springer Case Studies and Analysis for Developing Countries