碳还原氧化铁属于置换反应吗?