What is a dedicated gaming server, and what are its benefits?