Life after coca: the experience of informal institutions in former coca leaf farming communities in Colombia