Rankings of derivatives for elimination algorithms and formal solvability of analytic partial differential equations