Proposed Benchmark Cases for Proliferation Risk Assessment Modeling.