STRIPS Planning in Infinite Domains