Implementation of the PJM financial transmission rights auction market system | Synapse