Dynamic modeling of a piezoelectric micro-lens actuator with experimental validation