Horizontal and vertical equity in taxation