LCP models of Nash-Cournot competition in bilateral and POOLCO-based power markets | Synapse