Qual a diferença entre os verbos "haver" e "ter" quando utilizados como auxiliares na formação de tempos compostos?