vat definition