El FTSE 100 alcanza un récord de 10.000 puntos impulsado por mineras y bancos