Modeling of a heaving buoy wave energy converter with stacked dielectric elastomer generator