Zero-shot Robotic Manipulation with Language-guided Instruction and Formal Task Planning