Mean field games : AMS Short Course Mean Field Games: Agent Based Models to Nash Equilibria, January 13-14, 2020, Denver, Colorado / François Delarue, editor