US7830720B2 - Methods of Programming Non-Volatile Semiconductor Memory Devices Using Different Program Verification Operations and Related Devices