Fla. girl, 11, survives shark attack