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