A MILP-based Approach to Account for Battery Degradation in Electric Bus Charging Scheduling