Texas reduces National Guard members deployed to Operation Lone Star border mission