Budownictwo na terenach górniczych