Comicolorization: Semi-Automatic Manga Colorization