Red-Shirting Can Extend Red Athletes’ Playing Time