Denel gets R1.8bn government bailout