Deep Rock Galactic? It has the mining component…that’s about it though. It’s co-op mining along with first person shooting combat.

I know it’s not exactly what you asked for but I thought I’d throw it out there.