Iran Toughens Crackdown as Some Oil Workers Reported to Join Protests