Mike Trout elected to 11th All-Star Game, 4 Texas players chosen to start