Colorado runner mauled by mountain lion choked animal to death