DeepProbLog: Integrating Logic and Learning through Algebraic Model Counting