Leibniz: Dissertation on Combinatorial Art. Translated with introduction and commentary by Massimo Mugnai, Han van Ruler, and Martin Wilson