Texas federal judge dismisses Ken Paxton’s lawsuit against Biden’s immigration program