Ginzburg–Landau-type theory of spin superconductivity