Text messages to help centuries-old Choco mining tradition