The ternary Goldbach conjecture