Physical and Mathematical Modeling of a Wave Energy Converter Equipped with a Negative Spring Mechanism for Phase Control