Mining activity in Indonesia takes a hit from COVID-19 pandemic