Comicolorization: Semi-automatic Manga Colorization