Non-Linear Electromechanical RF Model of a MEMS Varactor Based on VerilogA and Lumped Element Parasitic Network