Movements and Dive Patterns of Short-Finned Pilot Whales (Globicephala macrorhynchus) Released from a Mass Stranding in the Florida Keys