High voltage circuit breakers: SF6 vs. Vacuum