OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification