Texas teen survives shark attack in Galveston