US crude oil inventories fall for week ending Dec. 25