Marine diversity in the geological record and its relationship to surviving bedrock area, lithofacies diversity, and original marine shelf area