Translation of the mining law applied to Cuba by royal decrees of October 10, 1883, and June 27, 1884