Recognizable Formal Series on Trees and Cofree Coalgebraic Systems