Weakly coprime factorization and state-feedback stabilization of discrete-time systems