Which of the following protocols is used primarily for monitoring and managing network devices?