A Branch-and-Cut Algorithm for the Undirected Rural Postman Problem