Mining Law and Regulatory Practice in Indonesia: A Primary Reference Source