Bit auriverde: caminhos da tecnologia e do projeto desenvolvimentista na política nacional de informática para o Brasil (1971-1992)