Modeling and verification of three-dimensional simulation for BWR in-vessel core degradation. (March 2017)