Large-Population LQG Games Involving a Major Player: The Nash Certainty Equivalence Principle