Significance of the upper miocene coral reefs of the Western Mediterranean