IPO da Armac sai no topo da faixa, movimenta R$1,5 bi