I have a huge list of record in a MySQL table and would like to select 10 records randomly. How can I do that? Also randomness should be good.