US crude oil output falls in December for first time since May