Coral variation in two deep drill cores: significance for the Pleistocene development of the Great Barrier Reef