The descriptive set theory of the Lebesgue density theorem