Data-driven modeling of product crystal size distribution and optimal input design for batch cooling crystallization processes. (December 2020)