Reduction of symplectic manifolds with symmetry