Bug Score: Quantified Bug Prioritization