High Availability Server Market to become worth US$12,306.9 mn by 2025