Derivation of a mathematical structure for market-based transmission augmentation in oligopoly electricity markets using multilevel programming | IEEE Conference Publication | IEEE Xplore