Learning from Noisy Crowd Labels with Logics