Nonlinear Dynamics of a Magnetic Levitation-Based Electromagnetic Bistable Energy Harvester: Modeling and Experiment