On Coding Efficiency for Flash Memories