Robot Manipulation Planning Under Linear Temporal Logic Specifications