Miners and the State in the Ottoman Empire