قانون التعدين العام لعام 1872