The Great Barrier Reef is dying – time to build a digital Ark