Framer: Planning Models from Natural Language Action Descriptions