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