Optimizing top-k retrieval: submodularity analysis and search strategies