A biology-driven deep generative model for cell-type annotation in cytometry