Describir: From Polynomial Time Queries to Graph Structure Theory.