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