Modeling of void formation in phase change memory devices