At least 5,000 killed in Iranian unrest, official says, as judiciary hints at executions