Update why3_businesscases.md