The Tethys sea developed during what period of time?