Classical Planning as QBF without Grounding (extended version)