The defocusing energy-critical nonlinear Schrödinger equation in higher dimensions