Garrett Lisi: A theory of everything