Explaining Unsynthesizability Of High-Level Robot Behaviors