Modeling of counter current moving bed gas-solid reactor used in direct reduction of iron ore