Gators hiring Mark Robinson to lead NFL-style front office