What occurred to the level of the sea when the Devonian period was finished?