python json get number of keys