A Trading Execution Model Based on Mean Field Games and Optimal Control