Can the charger or the mains plug incl. cable be purchased separately? It does not have to be original Xiaomi.