代理服务器是什么？深度解析工作原理、类型、优缺点及实际应用