Shakedown Analysis Under Stochastic Uncertainty by Chance Constrained Programming