Micro-optimization for MySQL order by rand