An Introduction to Reliable Server Pooling and the RSPLIB Implementation