Modelling value-added tax in the presence of multi-production and differentiated exemptions