A general method dealing with correlations in uncertainty propagation in fault trees