Coevolution: Mathematical analysis of host-parasite interactions