A Model for Types and Levels of Automation in Visual Analytics: a Survey, a Taxonomy, and Examples