Energy solutions in rural Africa: mapping electrification costs of distributed solar and diesel generation versus grid extension