Modeling strategies for flash memory devices