A theory and a mathematical model for the evolution of single and multiple host behavior in a parasite-host system (Maculinea-Myrmica)