Neocompact Quantifier Elimination in Structures based on Banach Spaces