Optimal Transactive Market Operations With Distribution System Operators | Synapse