MIDAS: a deep generative model for mosaic integration and knowledge transfer of single-cell multimodal data