Pervasive Games: Theory and Design