Shark attacks near Texas beach injure 4 people, officials say