Florida Gators officially announce hire of Ron Roberts