Model and Validation of Static and Dynamic Behavior of Passive Diamagnetic Levitation for Energy Harvesting