Die ersten Xiaomi-Smartphones mit Leica-Kameras sollen im Juli auf den Markt kommen.