Modelling Value-Added Tax in the Presence of Multiproduction and Differentiated Exemptions