They've told us about Mars mining through entertainment. There are others but these are the main 2 that I can think of right now.
Red Faction:
Red Faction takes place on Mars around the year 2075. Earth's minerals are being depleted and humans need more of them to survive. The vast Ultor Corporation runs the mining operation on Mars.
https://en.wikipedia.org/wiki/Red_Faction_(video_game)
Total Recall:
Ronny Cox as Vilos Cohaagen, the corrupt and ruthless governor of the Mars Colony and friend of Hauser who stops at nothing in the mining of turbinium ore, which places innocent people at risk.
https://en.wikipedia.org/wiki/Total_Recall_(1990_film)