Automating Compliance Checks with .do: Business-as-Code in Action