Complexity, Decidability and Undecidability Resultsfor Domain-Independent Planning: A Detailed Analysis