Mean Field Games: Theory and Applications