Evaluation and Optimization of the Registrar Redundancy Handling in Reliable Server Pooling Systems