Qual a proporção entre suas dimensões largura e comprimento da bandeira do Brasil?