Fault Tree Analysis Speed-up with GPU Parallel Computing