13-year-old girl bitten by shark several times in Florida