Analytical Force and Flux for a One-Dimensional Electromagnetic Vibration Energy Harvester