Mean field game theory