An Encoding--Searching Separation Perspective on Bi-Encoder Neural Search