Explaining the Explainer: A First Theoretical Analysis of LIME