Design, Modeling, and Testing of High Performance RF Bistable Magnetic Actuators