Symplectic reduction