Text this: Mining Law and Regulatory Practice in Indonesia