US gasoline tops $4.15 Labor Day record on crude supply crunch