20 Years of Planning via Model Checking: From Theory to Practice