Associativity of Ordinal Addition