Text this: Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture