Naprawienie szkody górniczej w budowlach