US crude oil inventories down 0.1% for week ending Dec. 3