Tokyo core consumer prices up 4.0 percent in December