The not-so-secret-anymore lunar mining startup