Pushing school start times to 8:30 a.m. could add $9 billion a year to the US economy