What are the main ideas of Harald Helfgott's [proof](http://arxiv.org/abs/1305.2897) that all odd $n \geq 5$ is the sum of 3 primes?