Controle da proporcionalidade das normas tributárias: compreensão e crítica à aplicação da proporcionalidade pelo Supremo Tribunal Federal