Mining subsidence as effected by the interaction between contemporary mining works and those from the 17th–18th century at ocna dej saline