Impossibility Results in AI: A Survey