Derek Mason introduced as Vanderbilt new head coach