Histoire de l'architecture minière