Gravar-mail: Optimally selecting the top k values from X + Y with layer-ordered heaps