¿Qué sabemos del Redmi Pro 2, el próximo smartphone de la filial de Xiaomi?