US coal output rises from 2022 on export demand