Mathematical analysis of coexistence conditions of exotic fish and native fish, population estimation, and extermination method