Quantitative Resilience Modeling for Autonomous Cyber Defense