World electricity generation mix