A Python library for analyzing electricity market design problems