Tipos de solução de tradução no par linguístico português-Libras: uma reflexão a respeito dos conceitos de procedimentos, estilo e multimodalidade aplicados à tradução