Non-Linear Modeling of a Vibro-Impact Wave Energy Converter