Switching from MySQL RAND() to PHP mt_rand()