Amending and Enhancing Electoral Laws Through Mixed Integer Programming: the Case of Italy