At least 5,000 dead in Iran unrest, official says, as judiciary hints at executions