Diego Pavia didn't play in Vanderbilt football's spring game. Here's why it's part of the plan to keep him healthy.