Stochastic Local Search and the Lovasz Local Lemma