A Linear-Time Algorithm for Finding All Feedback Vertices