A formulation for modeling levitation based vibration energy harvesters undergoing finite motion. (15th February 2019)