Denel ordered to pay workers their outstanding salaries