AstroForge raises $13 million to mine platinum from asteroids