On electricity market equilibria with storage: Modeling, uniqueness, and a distributed ADMM. (February 2020)