‘Marvel's Spider-Man: Miles Morales’ has gone gold