DCPS rolls out districtwide phone ban to cut distractions