Attackers 'massacre' nine workers in northern Nigeria: army