Ginzburg-Landau-type theory of spin superconductivity