Modeling and experimental verification of proof mass effects on vibration energy harvester performance