US services PMI revised up in December