Semantics of timezone-aware datetime arithmetic