Semi-Supervised Junction Tree Variational Autoencoder for Molecular Property Prediction