Gov. Ron DeSantis officially files to run for president