C++: STL sort