Permutation-based Causal Inference Algorithms with Interventions