Linear Complementarity Models of Nash-Cournot Competition in Bilateral and POOLCO Power Markets | Synapse