Spike and slab variational Bayes for high dimensional logistic regression