In 1983, the Antarctic Treaty Parties began negotiations on a convention to regulate mining in Antarctica. When was the treaty to regulate mining agreed upon?