Text this: Malaria en poblaciones con ocupación minera, Colombia, 2012-2018