Minimizing the Cost of Fault Location when Testing from a Finite State Machine