Tectonic evolution of the West Florida Basin, Eastern Gulf of Mexico