Characterization and Greedy Learning of Interventional Markov Equivalence Classes of Directed Acyclic Graphs