High-performance and highly configurable RADIUS server