Samsung's 4 Gigabit flash memory begins mass production