Text this: Mining extractivism in Bogotá: contributions to the debate from the perspective of urban environmental history