Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification