Applications of Model Theory to Functional Analysis