Differentiable Halftoning