How does a shunt trip work to trip a circuit breaker?