国有公司减资程序具有哪些