Applications of Model Theory to Functional Analysis (Dover Books on Mathematics)