What was the name of the treaty which ceded florida to the US