Mathematical modeling of magnetic levitation system