IBAN validation and formatting