On best proximity points of upper semicontinuous multivalued mappings