Antes da criação do Sistema Único de Saúde (SUS), a assistência à saúde aos trabalhadores formais que possuíam carteira assinada, bem como aos seus dependentes, era de responsabilidade de que órgão ou instituição?