A fixed-parameter algorithm for the directed feedback vertex set problem