Implicit Function Theorems for Multi-Valued Mappings