Modeling of crystallization process for SNF reprocessing