Modeling and simulation of a maglev vehicle