Mining Law and Regulatory Practice in Indonesia