Energy for development: solar home systems in Africa and global carbon emissions