rocky linux 10 install mysql server