Uniqueness of limit cycles in Gause-type models of predator-prey systems