Explaining Impossible High-Level Robot Behaviors