Tax differentiation, lobbying, and welfare