Modeling and experimental study of a linear power generator for road energy harvesting