Australian gas exports don’t cut coal overseas, and here are the charts to prove it