Five things to know about the record-setting 2020 Dallas ISD bond package