Marine biosphere diversity through time : provinciality, global shelf area, and sediment survivorship