First-half deficit too much for Vanderbilt at Florida