Beyond Hirsch Conjecture: walks on random polytopes and smoothed complexity of the simplex method