A Branch and Cut Approach to the Feedback Vertex Set Problem