Understanding, Formalizing, and Reconstructing Mental Models with an Online Tool for Serious Discussions