Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics