Honestly, I am ok with 'Mining Base' as it describes a base, which mines asteroids. I would also accept 'Mining Outpost' as the name then feels a little smaller and more single-focused than a base, but either way short and descriptive win points for me.
(My initial idea, "Extraterrestrial Production Resource Extraction Mechanism," was rejected because it doesn't fit in the tooltip.)
