Efficient Pourbaix diagrams of many-element compounds.