Title: A model of the Irish VAT system