ADOT: I-17 closed overnight as crews install sensors in pavement