What will be the total stock of crude oil and other petroleum products for November 2020?