Attack on Iraqi pipeline halts oil exports to Turkey