Semi-supervised mixture multi-source exchangeability model for leveraging real-world data in clinical trials