hornictví 17. a 18. století