EFESTO: A Platform for the End-User Development of Interactive Workspaces for Data Exploration