Starting pitcher for AL All-Star team announced