Compressed Sensing by Phase Change Memories: Coping with Encoder non-Linearities