A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem