The kissing number in four dimensions (Annals of mathematics, 2008)