Oil rises as U.S. refineries restart, Irma wanes