World energy supply