Properly Learning Decision Trees with Queries Is NP-Hard