Efficient upper and lower bounds for global mixed-integer optimal control