Proxy Servers 101: Definition, Types, Benefits, and More (2023)