Koszul differential graded modules