Modeling Distribution Options and Constraints for Smart Power Systems with Variable Renewable Energy 1