Probabilistic diversification and intensification in local search for vehicle routing