12,000 workers at Hyundai Heavy down tools