Coal vs Coral: will Australia destroy the Great Barrier Reef with coal mining?