Semi-mechanistic modeling of resistance development to β-lactam and β-lactamase-inhibitor combinations