Statistics for Coal power: still the largest energy source in the world