Providing information and assistance to informal firms increases formalisation, but the cost of the intervention is likely prohibitively high