On AI Planning Problem Structure: Explainable Planning Techniques Using Argumentation and Mixed-Integer Programming