Synthesizing Customized Planners from Specifications