Update on the Old Royal Adelaide Hospital redevelopment