Validating and generating international bank account numbers (IBAN)