use lambdas for std::sort