Stories and virtual shows from Project Sekai/Hatsune Miku: Colorful Stage