Bayesian semi-supervised learning for uncertainty-calibrated prediction of molecular properties and active learning