Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches