The Derivation of the Energy-critical NLS from Quantum Many-body Dynamics