Energy sufficiency policy for residential electricity use and per-capita dwelling size