Theoretical modeling and nonlinear analysis of piezoelectric energy harvesters with different stoppers