College student survives shark attack on Texas coast