Topological Fixed Point Theory of Multivalued Mappings