Border wall construction resumes in Texas