Correcting Gene Trees by Leaf Insertions: Complexity and Approximation