Mini Grids for Half a Billion People: Market Outlook and Handbook for Decision Makers