"It shouldn't look aggressive": How conceptions about publics shape the development of mining exploration technologies. (November 2022)