A convex program for mixed linear regression with a recovery guarantee for well-separated data. (5th January 2018)