Progressividade e sacrifício eqüitativo na tributação