Which of the following commands can be used to resolve a DNS name to an IP address?