Simulation of water-bloom in a eutrophic lake—IV Modeling the vertical migration in a population of Microcystis aeruginosa