Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco | IEEE Journals & Magazine | IEEE Xplore