More people working from home hinders ODOT gas tax revenue