Four Florida football players change jersey numbers for 2022 season