Probabilistic sophistication and stochastic monotonicity in the Savage framework