[2304.07794] Nonlinear MPC for Quadrotors in Close-Proximity Flight with Neural Network Downwash Prediction