Spider-Man game boosts Sony profits with record sales