Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture