Shapley Consensus Deep Learning for Ensemble Pruning