Multimodularity and structural properties of stochastic dynamic programs