A fault-tree approach for identifying causes of actuator failure in attitude control subsystem of space vehicles