Electroweak axion string and superconductivity