Vanderbilt makes it official, names Franklin football coach