Iranian workers killed in Iraq pipeline attack