On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability