Florida Gators release official roster for 2023 season