C++ 11.15 What are the mapped_type, key_type, and value_type of a map from int to vector<int>?