9-year-old bit by shark off Florida beach, has emergency surgery