From Legal Contracts to Formal Specifications: A Systematic Literature Review