From Legal Contracts to Formal Specifications: A Progress Report