Direct fault-tree modeling of human failure event dependency in probabilistic safety assessment