Yuan devaluation could trigger coal exports by world's biggest buyer