Investigation of residual stress effects and modeling of spring constant for RF MEMS switches