D.C. Navy Yard building, site of mass shooting, will be renovated