Automatic Formalization of Clinical Practice Guidelines