An Implicitly Restarted Lanczos Method for the Model Reduction of Stable, Large-Scale Systems