vat number definition