WATCH: Texas Rangers introduce new pitcher Mike Minor