BAYESIAN EVOLUTION MODELS FOR JUPITER WITH HELIUM RAIN AND DOUBLE-DIFFUSIVE CONVECTION