Foundations of Data Availability Sampling