Formal Algebraic Model of a Generic BCube Data Center Network Architecture Conference Paper 2024 Congress communication