Random string generator using PHP's mt_rand()