Workers continue reparations on Notre Dame cathedral after more than four years