SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures