A Probabilistic Basis for Area-Dependent Design Live Loads