Global coal exports and power generation hit new highs in 2023