Can an Industrial Roof Be Replaced While the Building Is Occupied?