Effective field theory of a topological insulator and the Foldy–Wouthuysen transformation