US coal exports ticking higher, pushed by high petcoke prices, China