Semidefinite Characterization and Computation of Zero-Dimensional Real Radical Ideals