Extraer elementos aleatoriamente de un array en PHP