VPN Protocols: History, Differences, and Principles of Operation