A Design Tool For Electromagnetically-Transduced Vibration Energy Harvesters And Its Implications On The Limits Of Natural Frequency Tuning