Explaining Unsynthesizability of High-Level Robot Behaviors