Variational Combinatorial Sequential Monte Carlo Methods for Bayesian Phylogenetic Inference