US thermal coal exports hit four-year high in 2021: Census data