Necessity of resist model in source mask optimization for negative tone development process