US thermal coal exports hit 5-year highs and top $5 bln in 2023