Introduction to sofic and hyperlinear groups and connes' embedding conjecture. ([2015])