Mo Gawdat's first published book is titled Solve for Happy