Music: Video Game Music

Is there a name for this kind of pop music?