python dict.size method to make it compatible with java