Workers find 1,000-year-old mummy while installing pipes